Papanikolaou, Nick

Nick Papanikolaou: Publications

JOURNAL CONTRIBUTIONS AND CHAPTERS IN BOOKS

  • Nikolaos Papanikolaou, Sadie Creese, and Michael Goldsmith. Refinement Checking for Privacy Policies. Science of Computer Programming. Accepted for publication - to appear 2011.
  • T. Davidson, S. J. Gay, H. Mlnarik, R. Nagarajan and N. Papanikolaou. Model Checking for Communicating Quantum Processes. International Journal of Unconventional Computing - to appear 2011.
  • S. J. Gay, R. Nagarajan and N. Papanikolaou. Specification and Verification of Quantum Protocols. Chapter 11 of Semantic Techniques in Quantum Computation, S.J. Gay and I. Mackie (eds.). Cambridge University Press, 2010.
  • Nick Papanikolaou. Security versus quantum computers. BCS Information Security Now (ISNow), 4(2):6-7, Winter 2009/10.
  • Nick Papanikolaou. Reasoning formally about quantum systems: An overview. ACM SIGACT News, 36(3):51-66, 2005.
  • N. Papanikolaou. An introduction to quantum cryptography. ACM Crossroads, 11(3):10-16, 2005.

CONFERENCES (2011)
  • Nick Papanikolaou, Siani Pearson, and Marco Casassa Mont. Automated Understanding Of Cloud Terms Of Service And SLAs. In Poster Proceedings of CloudCom 2011, Athens, Greece.
  • Nick Papanikolaou, Siani Pearson, and Marco Casassa Mont. Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography. In Proceedings of 1st International Workshop on Security and Trust in Virtualised Environments (STAVE 2011).
  • Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, and Ryan K L Ko. Towards Greater Accountability in Cloud Computing through Natural-Language Analysis and Automated Policy Enforcement. Accepted for publication in Proceedings of e-Challenges e-2011.

CONFERENCES (2010)
  • Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, and Nick Papanikolaou. A Conceptual Model for Privacy Policies with Consent and Revocation Requirements. In Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Lecture Notes in Computer Science, Springer-Verlag 2010.
  • Adedayo O. Adetoye and Nikolaos Papanikolaou. Static Analysis of Information Release in Interactive Programs. In Proceedings of 10th International Workshop on Automated Verification of Critical Systems (AVoCS '10), Dusseldorf, Germany, September 20-23, 2010.
  • Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, and Nick Papanikolaou. Applying Formal Methods to Describe Privacy Control Requirements in a Real Scenario: Emerging Ambiguities and Proposed Solutions. In Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, August 2010.
  • Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou, Marco Casassa Mont, and Siani Pearson. Defining consent and revocation policies. In Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, August 2010.
  • Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, and Nick Papanikolaou. EnCoRe: Towards a conceptual model for privacy policies. In Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, August 2010.
  • Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, and Siani Pearson. EnCoRe: Towards a holistic approach to privacy. In Proceedings of International Conference on Security and Cryptography (SECRYPT 2010), Athens, Greece, July 2010.

CONFERENCES (2009)
  • Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, and Nick Papanikolaou. Towards an integrated approach to the management, specification and enforcement of privacy policies. In Proceedings of W3C Workshop on Access Control Application Scenarios, Abbaye de Neumunster, Luxembourg, November 2009.
  • Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, and Nikolaos Papanikolaou. Reaching for informed revocation: Shutting off the tap on personal data. In Proceedings of Fifth International Summer School on Privacy and Identity Management for Life, Nice, France, September 2009.
  • Nikolaos Papanikolaou, Sadie Creese, and Michael Goldsmith. Policy refinement checking. In Proceedings of Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 09), Swansea University, September 2009.

CONFERENCES (2008)
  • Simon Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou. QMC: A model checker for quantum systems. In Proceedings of 20th International Conference on Automated Verification (CAV 2008), volume 5123 of Lecture Notes in Computer Science, Princeton, NJ, USA, July 2008. Springer.

CONFERENCES (2007)
  • Simon Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou. QMC: A model checker for quantum systems. In Proceedings of Workshop on Quantum Cryptography and Security (Lisbon Quantum Computation, Information and Logic Meetings Series: LQCIL'07), Lisbon, Portugal, July 2007.
  • Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, and Nikolaos Papanikolaou. Exogenous probabilistic computation tree logic. In Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL '07), Braga, Portugal, March 2007.

CONFERENCES (2006)
  • Simon Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou. Probabilistic model-checking of quantum protocols. In Proceedings of 2nd International Workshop on Developments on Computational Models (DCM 2006), 2006.

CONFERENCES (2005)
  • Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, and Simon Gay. An automated analysis of the security of quantum key distribution. In Proceedings of the Third International Workshop on Security Issues in Concurrency (SECCO'05), San Francisco, USA, August 2005.
  • Rajagopal Nagarajan, Nikolaos Papanikolaou, and David Williams. Simulating and compiling code for the sequential quantum random access machine. In Proceedings of the Third International Workshop on Quantum Programming Languages (QPL 2005), volume 170 of Electronic Notes in Theoretical Computer Science, pages 101-124, DePaul University, Chicago, USA, 2005.
CONFERENCES (2004)
  • N. Papanikolaou. A programming language for quantum communication systems design. In Proceedings of the IEEE PREP2004 Conference, University of Hertfordshire, United Kingdom, 2004.

PhD THESIS
  • N. Papanikolaou. Model Checking Quantum Protocols. Ph.D. Thesis, Department of Computer Science, University of Warwick, 2009.

OTHER PUBLICATIONS & REPORTS
  • Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, Nick Papanikolaou. Towards A Conceptual Model For Privacy Policies. HP Labs Technical Report HPL-2010-82.
  • Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson. EnCoRe: Towards a holistic approach to privacy. HP Labs Technical Report HPL-2010-83.
  • Nick Papanikolaou. Book Review of 'Algorithms and Theory of Computation Handbook' Vols I and II, Edited by : Mikhail J. Atallah and Marina Blanton, Chapman & Hall / CRC Press, 2010 (ISBN: 978-1-58488-822-2), ACM SIGACT News.
  • Nick Papanikolaou. Book Review of 'The Space and Motion of Communicating Agents' by Robin Milner, Cambridge University Press, 2009 (ISBN: 978-0-521-73833-0), ACM SIGACT News, 41(3), 2010.
  • Nick Papanikolaou. Book Review of 'Data Privacy and Security' by David Salomon, Springer-Verlag, 2003 (ISBN: 0-387-00311-8), ACM SIGACT News, 36(2), pp. 8-13, 2005.
  • Nick Papanikolaou. Book Review of 'Classical and Quantum Computing' by Yorick Hardy and Willi-Hans Steeb, Birkhauser Verlag, 2001 (ISBN: 3-7643-6610-9), ACM SIGACT News, 36(3), pp. 5-9, 2005.